-
1 classical proof
Большой англо-русский и русско-английский словарь > classical proof
-
2 classical proof
Математика: классическое доказательство -
3 classical proof
-
4 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
-
5 классическое доказательство
Большой англо-русский и русско-английский словарь > классическое доказательство
-
6 system
- computationally secure system- abuse-free system- algebraic code system- analog system- asymmetric system- asymmetric key system- authentication/secrecy system- binary system- block system- broadcast system- broadcasting system- cipher-feedback system- classical system- common-key system- communication system- compromised system- computationally secure system- conference system- conventional system- DES-based system- DES-like system- deterministic system- DH system- Diffie and Hellman system- discrete-exponentiation system- discrete log system- E3 system- effectively unbreakable system- elliptic curve system- endomorphic system- end-to-end encryption system- error propagating system- factorization system- finite system- finite automation system- Galois field system- general system- generalized system- Goppa-code system- hardware-implemented system- hidden key system- high-grade system- high-speed system- hybrid public-secret key system- hybrid stream/block system- identity-based system- system immune to cryptoanalysis- indecipherable system- intractable system- iterated system- key escrow system- keyed system- key escrow system- key-minimal system- knapsack-based system- knapsack public key system- matrix system- McEliece' system- Merkle-Hellman system- MH system- microprocessor based system- minuend system- multiple access system- multiple destination system- multiplicative knapsack system- network system- non-linear system- number theoretic system- one-key system- one-master-key system- one-time-key system- one-time-pad system- one-time-tape system- perfect secrecy system- practical security system- private key system- proprietary system- public key system- public key distribution system- public key signature system- rapid system- reciprocal number system- residue system- Rivest-Shamir-Adleman system- rotor system- RSA public key system- r-th residue system- secret-key system- secure system- shared key system- shift register system- single-key system- sophisticated system- split key system- strong system- subtractive system- symmetric system- theoretically unbreakable system- threshold system- transposition system- trap-door-knapsack public key system- transient key system- threshold system- two-key system- unbreakable system- voice system -
7 theory
1) теория
2) <phys.> борновский
3) учение
4) толкование
5) трактовка
6) истолкование
– abandon theory
– accept theory
– acid-base theory
– advance theory
– airfoil theory
– atomic theory
– band theory
– Bardeen-Cooper-Schrieffer theory
– BCS theory
– circuit theory
– classical theory
– collision theory
– combinatorial theory
– communication theory
– control theory
– deductive theory
– dimensional theory
– dislocation theory
– duality theory
– field theory
– formal theory
– gage theory
– Gersho-Rosencwaig theory
– graph theory
– group theory
– ideal theory
– impact theory
– in theory
– informal theory
– information theory
– measure theory
– object theory
– percolation theory
– pertubation theory
– perturbation theory
– probability theory
– proof theory
– quantum theory
– queueing theory
– queuing theory
– ray theory
– reject theory
– relativity theory
– reliability theory
– residue theory
– rigorous theory
– scheduling theory
– second-order theory
– set theory
– shower theory
– similarity theory
– stability theory
– switching-circuit theory
– theory of correspondence
– theory of elasticity
– theory of estimation
– theory of games
– theory of probability
– theory of queues
– theory of relativity
– theory of sampling
– theory of solids
– theory of valuations
– transport theory
additive ideal theory — <math.> теория идеалов аддитивная
barrier theory of cyclogenesis — <meteor.> теория циклогенеза заслоночная
general theory of relativity — <phys.> теория относительности общая
grand unification theory — <phys.> модель большого объединения, модель великого объединения
unified field theory — <phys.> теория поля единая, теория поля обобщенная
Yukawa meson theory — <phys.> теория мезонная юкавская
-
8 matrix
1) мат. матрица || матричный2) форма, шаблон4) растр5) решётка6) таблица7) геол. материнская порода, основная масса ( породы)8) основа кристаллического вещества; кристаллическая решётка•- absolutely equivalent matrices - adjoint matrices - almost perfect matrix - almost periodic matrix - almost superdiagonal matrix - associative matrix - birth-death coefficient matrix - cocycle matrix - commutative matrix - commute matrices - commuting matrix - complex conjugate matrix - compound matrix - conjunctive matrices - consistently ordered matrix - constituent matrices - deficient matrix - doubly degenerated matrix - doubly stochastic matrix - encoding matrix - essentially positive matrix - magnetic core matrix - matrix of linear transformation - multiplicatively cogredient matrix - multiply degenerate matrix - mutually consistent matrices - nearly triangular matrix - negatively semidefinite matrix - nonnegatively semidefinite matrix - orthogonally similar matrices - positively definite matrix - positively semidefinite matrix - regularly partitioned matrix - strictly upper triangular matrix - strongly equivalent matrices - totally nonnegative matrix - totally positive matrix - totally unimodular matrix - uniformly tapered matrix - vertex incidence matrix - vertically symmetrical matrix - weakly cyclic matrix -
9 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
-
10 theory
1) теория; учение2) толкование; трактовка3) теоретическое объяснение; теоретические основы•- band theory of solids - corpuscular theory of light - general theory of relativity - strongly undecidable theory - wave theory of light - Yukawa meson theory
См. также в других словарях:
Classical logic — identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called standard logic as well.[1][2] They are characterised by a number of properties:[3] Law of the excluded middle and… … Wikipedia
Classical Hindu law in practice — originates from community, not a state polity. In this way, particular groups of society began to gain influence in the creation and administration of law. Primary corporate groups, Kingships, and Brahmins were the factions, which conveyed Hindu… … Wikipedia
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
Classical test theory — is a body of related psychometric theory that predict outcomes of psychological testing such as the difficulty of items or the ability of test takers. Generally speaking, the aim of classical test theory is to understand and improve the… … Wikipedia
Proof complexity — In computer science, proof complexity is a measure of efficiency of automated theorem proving methods that is based on the size of the proofs they produce. The methods for proving contradiction in propositional logic are the most analyzed. The… … Wikipedia
Classical Hamiltonian quaternions — For the history of quaternions see:history of quaternions For a more general treatment of quaternions see:quaternions William Rowan Hamilton invented quaternions, a mathematical entity in 1843. This article describes Hamilton s original treatment … Wikipedia
Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia
classical scholarship — Introduction the study, in all its aspects, of ancient Greece (ancient Greek civilization) and Rome (ancient Rome). In continental Europe the field is known as “classical philology,” but the use, in some circles, of “philology” to denote… … Universalium
Proof calculus — In mathematical logic, a proof calculus corresponds to a family of formal systems that use a common style of formal inference for its inference rules. The specific inference rules of a member of such a family characterize the theory of a… … Wikipedia
Classical Hindu law — An article related to Hinduism … Wikipedia
Classical central-force problem — In classical mechanics, the central force problem is to determine the motion of a particle under the influence of a single central force. A central force is a force that points from the particle directly towards (or directly away from) a fixed… … Wikipedia